Taype: A Policy-Agnostic Language for Oblivious Computation

Secure multiparty computation (MPC) allows for joint over private data from multiple entities, usually backed by powerful cryptographic techniques that protect sensitive data. Several high-level programming languages have been proposed to make writing MPC applications accessible non-experts. These typically require developers enforce security policies within the logic of secure application itself, making it difficult update requirements, or experiment with different policies. This paper presents design and implementation Taype, a language permits concerns be decoupled program logic. To do so, Taype provides first oblivious algebraic types tape semantics, two features recently core calculus computation, λ OADT + . We evaluate our on range benchmarks, demonstrating its ability encode polices rich class types.